1. Advances in logic, artificial intelligence, and robotics
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Artificial intelligence ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ; Robotics ; Congresses. ;
2. Advances in logic, artificial intelligence, and robotics :
پدیدآورنده: edited by Jair Minoro Abe and João Inácio da Silva Filho.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence, Congresses.,Logic, Symbolic and mathematical, Congresses.,Robotics, Congresses.,Artificial intelligence.,Artificial intelligence.,COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.,COMPUTERS-- Intelligence (AI) & Semantics.,Inteligência artificial (congressos),Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Lógica simbólica (congressos),Robótica (congressos),Robotics.,Robotics.
رده :
Q334
.
C69
2002eb
3. Advances in logic, artificial intelligence and robotics
پدیدآورنده: / edited by Jair Minoro Abe and Jo?uo In??cio da Silva Filho
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Artificial intelligence--Congresses,Logic, Symbolic and mathematical--Congresses,Robotics--Congresses
رده :
Q
,
334
,.
C684
,
2002
4. Advances in logic, artificial intelligence and robotics: LAPTEC 2002
پدیدآورنده: edited by Jair Minoro Abe and Joao Inacio da Silva Filho
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Artificial intelligence -- Congresses,، Logic, symbolic and mathematical - Congresses,، Robotics -- Congresses
رده :
Q
334
.
A39
5. Advances in logic based intelligent systems
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Artificial intelligence Congresses,Logic, Symbolic and mathematical Congresses
رده :
Q
،
334
،.
C69
،
2005
6. Advances in logic based intelligent systems :
پدیدآورنده: edited by Kazumi Nakamatsu and Jair Minoro Abe.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence, Congresses.,Logic, Symbolic and mathematical, Congresses.,Intelligence artificielle, Congrès.,Logique symbolique et mathématique, Congrès.,Artificial intelligence.,COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.,COMPUTERS-- Intelligence (AI) & Semantics.,Logic, Symbolic and mathematical.
رده :
Q334
.
C69
2005
7. Advances in technological applications of logical and intelligent systems :
پدیدآورنده: edited by Germano Lambert-Torres ... [et al.]
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence, Congresses,Logic, Symbolic and mathematical, Congresses
8. Artificial intelligence and symbolic computation : International Conference, AISC'98, Plattsburgh, New York, USA, September 1998 : proceedings
پدیدآورنده: Jacques Calmet, Jan Plaza )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1476
9. Artificial intelligence and symbolic computation : international conference AISC 2000, Madrid, Spain, July 17-19, 2000 : revised papers
پدیدآورنده: John A. Campbell, Eugenio Roanes-Lozano )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1930
10. Artificial intelligence and symbolic computation : 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004 : proceedings
پدیدآورنده: Bruno Buchberger, John A. Campbell )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
3249
11. Artificial intelligence and symbolic computation: 8th international conference, AISC 2006, Beijing, China, September 20-22, 2006: proceedings
پدیدآورنده: Jacques Calmet, Tetsuo Ida, Dongming Wang )eds.(
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
Q
334
.
A766
2006
12. Artificial intelligence and symbolic computation : 8th international conference, AISC 2006 Beijing, China, September 20-22, 2006 : proceedings
پدیدآورنده: Jacques Calmet, Tetsuo Ida, Dongming Wang )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
4120
13. Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 23-25, 1996, proceedings
پدیدآورنده: Jacques Calmet, John A. Campbell, Jochen Pfalzgraf, eds
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Artificial intelligence - Congresses , Logic, Symbolic and mathematical - Congresses
رده :
Q
334
.
A766
1996
14. Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 1992 : proceedings
پدیدآورنده: International Conference AISMC-1, )2991: Karlsruhe, Germany(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Artificial intelligence-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
Q
334
.
I5488
1992
15. Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 1992 : proceedings
پدیدآورنده: Jacques Calmet, John A. Campbell )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
737
16. Artificial intelligence and symbolic mathematical computing : International Conference AISMC-3, Steyr, Austria, September 23-25, 1996 : proceedings
پدیدآورنده: Jacques Calmet, John A. Campbell , Jochen Pfalzgraf )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1138
17. Artificial intelligence, automated reasoning, and symbolic computation : joint International Conferences, AISC 2002 and CALCULEMUS 2002, Marseille, France, July 1-5, 2002 proceedings
پدیدآورنده: Jacques Calmet...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical,Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
2385
18. Formal concept analysis
پدیدآورنده: Petko Valtchev, Robert Jeaschke (eds.)
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Lattice theory, Congresses,Computer science, Mathematics, Congresses,Artificial intelligence, Mathematical models, Congresses,Mathematical analysis, Congresses,Logic, symbolic and mathematical, Congresses,Formal methods (Computer science), Congresses
رده :
QA
،
171
.
5
،.
I55
،
2011
19. KI 2015
پدیدآورنده: \ [edited by] Steffen Hölldobler...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,Logic, symbolic and mathematical,کامپیوتر,منطق ریاضی,a04,a05,a04,a05,Artificial intelligence -- Congresses.,هوش مصنوعی-- کنگره‌ها
رده :
Q
336
.
K5
2015
E-Book
,
20. Logic, artificial intelligence, and robotics: LAPTEC 2001
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical,Congresses ، Robotics
رده :
Q
334
.
C69
2001
